Optimizing scoped and immortal memory management in real-time Java
نویسنده
چکیده
منابع مشابه
Towards a High Integrity Real-Time Java Virtual Machine
This paper defines a run-time architecture for a Java Virtual Machine (JVM) that supports the Ravenscar-Java profile (RJVM). This architecture introduces an early class loading and verifying model that can facilitate the predictable efficient execution of Java applications, detect program errors at the initialization phase and prevent errors occurring during the mission phase. A pre-emptive fix...
متن کاملOn the Development of Dynamic Real-Time Applications in the RTSJ - A Model for Expressing Dynamic Memory Requirements
The Real-Time Specification for Java (RTSJ) introduces a memory model that includes immortal and scoped memory areas that are not subject to garbage collection latencies. Unfortunately, it is often argued that the RTSJ’s memory model is unwieldy and even insufficiently expressive for describing the memory dynamics of simple and commonly used structures and patterns. This paper takes the positio...
متن کاملModel Checking Real Time Java Using Java PathFinder
The Real Time Specification for Java (RTSJ) is an augmentation of Java for real time applications of various degrees of hardness. The central features of RTSJ are real time threads; user defined schedulers; asynchronous events, handlers, and control transfers; a priority inheritance based default scheduler; non-heap memory areas such as immortal and scoped, and non-heap real time threads whose ...
متن کاملA Patterns Catalog for RTSJ Software Designs
In this survey paper, we bring together current progress to date in identifying Design Patterns[6] for use with the Real-time Specification for Java(RTSJ)[2] in a format consistent with contemporary Patterns descriptions. We begin by discussing some elementary patterns for structuring realtime applications. Specifically, we discuss the use of scoped memory for applications with periodic real-ti...
متن کاملScoped Types and Aspects for Real-Time Java
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and correct. While higher-level programming models (such as the Real-Time Specification for Java) permit real-time programmers to use language features that most programmers take for granted (objects, type checking, dynam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013